<html>
<head><meta charset="utf-8"><title>I-prioritize #73249 ICE: could not fully normalize · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html">I-prioritize #73249 ICE: could not fully normalize</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200595803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200595803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200595803">(Jun 11 2020 at 19:45)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/73249">#73249</a> has been requested for prioritization.</p>



<a name="200595845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200595845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200595845">(Jun 11 2020 at 19:45)</a>:</h4>
<p>Will look into this myself as a PR of mine might have caused this</p>



<a name="200596692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200596692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200596692">(Jun 11 2020 at 19:51)</a>:</h4>
<p>priority? :)</p>



<a name="200596703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200596703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200596703">(Jun 11 2020 at 19:51)</a>:</h4>
<p>I couldn't look at it yet</p>



<a name="200596832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200596832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200596832">(Jun 11 2020 at 19:52)</a>:</h4>
<p>seems like <code>P-critical</code> at a first glance</p>



<a name="200596871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200596871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200596871">(Jun 11 2020 at 19:52)</a>:</h4>
<p><code>P-high</code>/<code>P-critical</code></p>



<a name="200596873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200596873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200596873">(Jun 11 2020 at 19:52)</a>:</h4>
<p>yeah</p>



<a name="200596955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200596955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200596955">(Jun 11 2020 at 19:53)</a>:</h4>
<p>hmm, why would you say <code>P-high</code>?</p>



<a name="200597000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200597000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200597000">(Jun 11 2020 at 19:53)</a>:</h4>
<p>working code doesn't compile anymore? or am I misunderstanding it?</p>



<a name="200597117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200597117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200597117">(Jun 11 2020 at 19:54)</a>:</h4>
<p>I don't know how easy it is to hit this bug, so if this is an edge case on top of an edge case it might only be <code>P-high</code></p>



<a name="200597350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200597350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200597350">(Jun 11 2020 at 19:55)</a>:</h4>
<p>generally anything affecting perf should be p-high at the least so we don't lose tracking data over large periods of time</p>



<a name="200597413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200597413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200597413">(Jun 11 2020 at 19:56)</a>:</h4>
<p>p-critical is <span aria-label="shrug" class="emoji emoji-1f937" role="img" title="shrug">:shrug:</span> to me</p>



<a name="200597550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200597550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200597550">(Jun 11 2020 at 19:57)</a>:</h4>
<p>Currently building the latest master x.x this ICE isn't even on nightly yet, which is somewhat annoying, as I only want to get a backtrace</p>



<a name="200599962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200599962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200599962">(Jun 11 2020 at 20:15)</a>:</h4>
<p>ok, caused by <a href="https://github.com/rust-lang/rust/issues/72890">#72890</a></p>



<a name="200600183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200600183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200600183">(Jun 11 2020 at 20:17)</a>:</h4>
<p>is <code>P-critical</code> imo</p>



<a name="200600264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200600264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200600264">(Jun 11 2020 at 20:18)</a>:</h4>
<p>let me try and get a minimal repro ready (rdy)</p>



<a name="200601601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200601601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200601601">(Jun 11 2020 at 20:28)</a>:</h4>
<p><span class="user-mention" data-user-id="216206">@lcnr</span> Can’t you use install-toolchain-master to get a compiler working?</p>



<a name="200601643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200601643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200601643">(Jun 11 2020 at 20:29)</a>:</h4>
<p>I did, <a href="https://github.com/kennytm/rustup-toolchain-install-master">https://github.com/kennytm/rustup-toolchain-install-master</a> is really awesome <span aria-label="sparkles" class="emoji emoji-2728" role="img" title="sparkles">:sparkles:</span></p>



<a name="200601674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200601674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200601674">(Jun 11 2020 at 20:29)</a>:</h4>
<p>but I only remembered it while I was already building it locally</p>



<a name="200601763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200601763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200601763">(Jun 11 2020 at 20:29)</a>:</h4>
<p>:D</p>



<a name="200601915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200601915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200601915">(Jun 11 2020 at 20:30)</a>:</h4>
<p>As for the priority I’d say <code>P-critical</code> too, because... ICE on valid code</p>



<a name="200698342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200698342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200698342">(Jun 12 2020 at 17:19)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/73249">#73249</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>